#include <iostream>
#include <type_traits>
int main() {
  using namespace std;
  typedef std::integral_constant<int, 2> two;
  typedef std::integral_constant<int, 4> four;
  static_assert(two::value * 2 == four::value);
}
